English translation for "temporal logic specification"

暂时逻辑说明

Related Translations:

temporal:  adj.1.暂时的，一时的，转瞬间的(opp. eternal)。2.此世的，现世的；世俗的(opp. spiritual)。3.时的，时间的 (opp. spatial) 【语法】表示时间的，时态的。n.1.一时的事物；俗事。 世事。2.世俗的权力〔多指教会的财产和收入〕。短语和例子a temporal death 假死。 temporal aims 世俗的目标。 tem

temporal technology:  时空学技术

temporal control:  时序控制

temporal suture:  颞缝

temporal headache:  颞头痛

temporal radiometer:  瞬间辐射计瞬时辐射计

temporal canal:  颞管

temporal genu:  颞叶膝部

temporal distribution:  时间分布, 时间序列时间分配时间上的分布瞬间分布暂时注分布

temporal facilitation:  时间助长

Example Sentences:

1.

6 clarke e m , emerson e a , sistla a p . automatic verification of finite - state concurrent systems using temporal logic specifications . acm transactions on programming languages and systems , 1986 , 8 : 244 - 263 . 7 aho a v , hopcroft j e , ullman j d . the design and analysis of computer algorithms Model checking过去主要是作为一种验证技术被广为使用的，本文作者通过对dmc以及后续工程项目的研究发现， model checking完全可以作为一种计算技术被广泛使用，就相当于已经成为经典编译技术yacc在软件开发的各个层面上被广泛使用一样。

Similar Words：

"temporal lobe vertigo" English translation, "temporal lobectomy behavior syndrome" English translation, "temporal lobectomy behaviour syndrome" English translation, "temporal logic" English translation, "temporal logic language" English translation, "temporal makeup" English translation, "temporal mapping" English translation, "temporal margin" English translation, "temporal margin of parietal bone" English translation, "temporal marker" English translation